<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>Clique Projection: Separator.h Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td style="padding-left: 0.5em;">
   <div id="projectname">Clique Projection
   </div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.1.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Friends</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Macros</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">Separator.h</div>  </div>
</div><!--header-->
<div class="contents">
<a href="Separator_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#ifndef SEPARATOR_H_</span></div>
<div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor"></span><span class="preprocessor">#define SEPARATOR_H_</span></div>
<div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="preprocessor"></span></div>
<div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="Proyectable_8h.html">Proyectable.h</a>&gt;</span></div>
<div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="CliqueProyectada_8h.html">CliqueProyectada.h</a>&gt;</span></div>
<div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="Desigualdad_8h.html">Desigualdad.h</a>&gt;</span></div>
<div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="DoubleValueArray_8h.html">DoubleValueArray.h</a>&gt;</span></div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="preprocessor">#include &lt;<a class="code" href="SeparatorParameters_8h.html">SeparatorParameters.h</a>&gt;</span></div>
<div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="preprocessor">#include &lt;list&gt;</span></div>
<div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;</div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="keyword">using namespace </span>std;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">class </span><a class="code" href="classSeparator.html" title="Clase que envolucra métodos usados para separar una solución no válida del problema de conjunto indep...">Separator</a>;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div>
<div class="line"><a name="l00029"></a><span class="lineno"><a class="code" href="classEleccionClique.html">   29</a></span>&#160;<span class="keyword">class </span><a class="code" href="classEleccionClique.html" title="Enumera cliques maximales pesadas de tamaño máximo especificado.">EleccionClique</a></div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;{</div>
<div class="line"><a name="l00031"></a><span class="lineno"><a class="code" href="classEleccionClique.html#af8bf88ca6f1676c8305438acaa7aa8b2">   31</a></span>&#160;        <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classSeparator.html" title="Clase que envolucra métodos usados para separar una solución no válida del problema de conjunto indep...">Separator</a>;</div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div>
<div class="line"><a name="l00033"></a><span class="lineno"><a class="code" href="classEleccionClique.html#a6041da70e2a58e1f2cca9605d0ad6657">   33</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="classGrafo.html">Grafo</a>&amp;                    <a class="code" href="classEleccionClique.html#a6041da70e2a58e1f2cca9605d0ad6657">_grafo</a>;</div>
<div class="line"><a name="l00034"></a><span class="lineno"><a class="code" href="classEleccionClique.html#ac798a0f5ece39ec4e234541fc8e3c646">   34</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="classDoubleValueArray.html">DoubleValueArray</a>&amp; <a class="code" href="classEleccionClique.html#ac798a0f5ece39ec4e234541fc8e3c646">_solucion</a>;</div>
<div class="line"><a name="l00035"></a><span class="lineno"><a class="code" href="classEleccionClique.html#a7f9922647ac61b1fa91f2d04f6b14852">   35</a></span>&#160;        <span class="keyword">const</span> <a class="code" href="structSeparatorParameters.html">SeparatorParameters</a>&amp; <a class="code" href="classEleccionClique.html#a7f9922647ac61b1fa91f2d04f6b14852">_param</a>;</div>
<div class="line"><a name="l00036"></a><span class="lineno"><a class="code" href="classEleccionClique.html#a29511154c645a2f664c8dc3fb377b3f4">   36</a></span>&#160;        <a class="code" href="classVertexSet.html">VertexSet</a>**                             <a class="code" href="classEleccionClique.html#a29511154c645a2f664c8dc3fb377b3f4" title="conjunto de vértices a enumerar por nivel de la recursión">_RR</a>;                    </div>
<div class="line"><a name="l00037"></a><span class="lineno"><a class="code" href="classEleccionClique.html#a6505dc62ed8b1c817eb093f9944fc34c">   37</a></span>&#160;        <a class="code" href="classVertexSet.html">VertexSet</a>*                              <a class="code" href="classEleccionClique.html#a6505dc62ed8b1c817eb093f9944fc34c">_RRsuelto</a>;</div>
<div class="line"><a name="l00038"></a><span class="lineno"><a class="code" href="classEleccionClique.html#ad0361bb0ef3763d3e309945b39f34262">   38</a></span>&#160;        <a class="code" href="classLista.html">Lista</a>&amp;                                  <a class="code" href="classEleccionClique.html#ad0361bb0ef3763d3e309945b39f34262" title="orden decreciente de los vértices del grafo según los valores de las variables respectivas">_orden</a>;                 </div>
<div class="line"><a name="l00039"></a><span class="lineno"><a class="code" href="classEleccionClique.html#a1e363c9b35f68e78f6c6e770270f4bfc">   39</a></span>&#160;        <a class="code" href="classLista.html">Lista</a>&amp;                                  <a class="code" href="classEleccionClique.html#a1e363c9b35f68e78f6c6e770270f4bfc" title="lista de vértices en la clique actual. Los vértices son representados por sus indices en _orden...">_clique</a>;                </div>
<div class="line"><a name="l00040"></a><span class="lineno"><a class="code" href="classEleccionClique.html#aba00a7801d07d4d8792a4b27c3852169">   40</a></span>&#160;        <span class="keywordtype">double</span>                                  <a class="code" href="classEleccionClique.html#aba00a7801d07d4d8792a4b27c3852169">_weight</a>;</div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        <a class="code" href="classEleccionClique.html" title="Enumera cliques maximales pesadas de tamaño máximo especificado.">EleccionClique</a>(<a class="code" href="classGrafo.html">Grafo</a>&amp; g, <a class="code" href="classDoubleValueArray.html">DoubleValueArray</a>&amp; sol, <a class="code" href="structSeparatorParameters.html">SeparatorParameters</a>&amp; par);</div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        ~<a class="code" href="classEleccionClique.html" title="Enumera cliques maximales pesadas de tamaño máximo especificado.">EleccionClique</a>();</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordtype">bool</span> hasNext();</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordtype">int</span> nextClique(<a class="code" href="classVertexSet.html">VertexSet</a>&amp; c);</div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordtype">int</span> cliqueSuelta(<a class="code" href="classVertexSet.html">VertexSet</a>&amp; subgrafo, <a class="code" href="classVertexSet.html">VertexSet</a>&amp; c, <span class="keywordtype">int</span> sizec);</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;};</div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;</div>
<div class="line"><a name="l00076"></a><span class="lineno"><a class="code" href="classSeparator.html">   76</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSeparator.html" title="Clase que envolucra métodos usados para separar una solución no válida del problema de conjunto indep...">Separator</a></div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;{</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;<span class="keyword">private</span>:</div>
<div class="line"><a name="l00079"></a><span class="lineno"><a class="code" href="classSeparator.html#ae1fe5716b5c48f9a2c1e4cd879e7b37d">   79</a></span>&#160;        <span class="keywordtype">int</span>                                     <a class="code" href="classSeparator.html#ae1fe5716b5c48f9a2c1e4cd879e7b37d">_n</a>; <span class="comment">//por comodidad;</span></div>
<div class="line"><a name="l00080"></a><span class="lineno"><a class="code" href="classSeparator.html#a8ca3b4e8426c6d82e363813bf35dd957">   80</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classSeparator.html#a8ca3b4e8426c6d82e363813bf35dd957">_ncortes</a>;</div>
<div class="line"><a name="l00081"></a><span class="lineno"><a class="code" href="classSeparator.html#acd2dc8bbcc1d97e002091b8982a58d07">   81</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classSeparator.html#acd2dc8bbcc1d97e002091b8982a58d07">_nnovioladas</a>;</div>
<div class="line"><a name="l00082"></a><span class="lineno"><a class="code" href="classSeparator.html#a085e3e8ab9717f100763607930424c51">   82</a></span>&#160;        <span class="keywordtype">int</span>                                             <a class="code" href="classSeparator.html#a085e3e8ab9717f100763607930424c51">_nreps</a>;</div>
<div class="line"><a name="l00083"></a><span class="lineno"><a class="code" href="classSeparator.html#a0bbf76a0da140f415696e4ed2185801a">   83</a></span>&#160;        <a class="code" href="classGrafo.html">Grafo</a>&amp;                                  <a class="code" href="classSeparator.html#a0bbf76a0da140f415696e4ed2185801a">_grafo</a>;</div>
<div class="line"><a name="l00084"></a><span class="lineno"><a class="code" href="classSeparator.html#a73b41159d97ac46a0d3848d2162ce593">   84</a></span>&#160;        <a class="code" href="classProyectable.html">Proyectable</a>&amp;                    <a class="code" href="classSeparator.html#a73b41159d97ac46a0d3848d2162ce593">_actual</a>;</div>
<div class="line"><a name="l00085"></a><span class="lineno"><a class="code" href="classSeparator.html#a2b639e3956ea5a95bc8405563f949e2c">   85</a></span>&#160;        <a class="code" href="classLista.html">Lista</a>*                                  <a class="code" href="classSeparator.html#a2b639e3956ea5a95bc8405563f949e2c">_grado</a>;</div>
<div class="line"><a name="l00086"></a><span class="lineno"><a class="code" href="classSeparator.html#a9a67bf3863e1a05e72890fe7850ad134">   86</a></span>&#160;        list&lt;Desigualdad*&gt;              <a class="code" href="classSeparator.html#a9a67bf3863e1a05e72890fe7850ad134">_desigualdades</a>;</div>
<div class="line"><a name="l00087"></a><span class="lineno"><a class="code" href="classSeparator.html#a4cccd52d54a15f96c4593546ef36d41f">   87</a></span>&#160;        <a class="code" href="classVertexSet.html">VertexSet</a>&amp;                              <a class="code" href="classSeparator.html#a4cccd52d54a15f96c4593546ef36d41f">_vertices</a>;</div>
<div class="line"><a name="l00088"></a><span class="lineno"><a class="code" href="classSeparator.html#a4f69ab903de7c234c7818ccdbf4566d8">   88</a></span>&#160;        <a class="code" href="classLista.html">Lista</a>&amp;                                  <a class="code" href="classSeparator.html#a4f69ab903de7c234c7818ccdbf4566d8" title="usado para enumerar los elementos de conjunto tipo VertexSet">_enumerables</a>;   </div>
<div class="line"><a name="l00089"></a><span class="lineno"><a class="code" href="classSeparator.html#ab5faa43a0d40b8518a12cb355b83c3f2">   89</a></span>&#160;        <a class="code" href="structSeparatorParameters.html">SeparatorParameters</a>             <a class="code" href="classSeparator.html#ab5faa43a0d40b8518a12cb355b83c3f2">_parametros</a>;</div>
<div class="line"><a name="l00090"></a><span class="lineno"><a class="code" href="classSeparator.html#a01810b41adefdca0f6b19c2c7630e608">   90</a></span>&#160;        <a class="code" href="classVertexSet.html">VertexSet</a> *                     <a class="code" href="classSeparator.html#a01810b41adefdca0f6b19c2c7630e608">_cliqueados</a>;</div>
<div class="line"><a name="l00091"></a><span class="lineno"><a class="code" href="classSeparator.html#a2f8c0d2921f706e27c5e8e017d51c82e">   91</a></span>&#160;        <a class="code" href="classLista.html">Lista</a>&amp;                                  <a class="code" href="classSeparator.html#a2f8c0d2921f706e27c5e8e017d51c82e" title="usado para enumerar los elementos de _cliqueados">_listaNoCliqueados</a>;     </div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div>
<div class="line"><a name="l00093"></a><span class="lineno"><a class="code" href="classSeparator.html#ab01d17d99db9ed00a25467e1400dd10d">   93</a></span>&#160;        <a class="code" href="classCliquer.html">Cliquer</a> *       <a class="code" href="classSeparator.html#ab01d17d99db9ed00a25467e1400dd10d">_buscadorVioladas</a>;</div>
<div class="line"><a name="l00094"></a><span class="lineno"><a class="code" href="classSeparator.html#a7d017c3dae3e8ea7bfbc2154fbadb6e6">   94</a></span>&#160;        <a class="code" href="classCliquer.html">Cliquer</a> *       <a class="code" href="classSeparator.html#a7d017c3dae3e8ea7bfbc2154fbadb6e6">_calculadorLambda</a>;</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div>
<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <a class="code" href="classCliquer.html">Cliquer</a> * createCliquer(<a class="code" href="SeparatorParameters_8h.html#a95d4a0fe9b8ac077fb57e6fae6c43ec0">TiposCliquer</a> tipo, <span class="keywordtype">bool</span> clqOrStab);</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordtype">int</span> separarLifteando(<a class="code" href="classVertexSet.html">VertexSet</a>&amp; clique, <a class="code" href="classDoubleValueArray.html">DoubleValueArray</a> &amp;solucion, <a class="code" href="classEleccionClique.html" title="Enumera cliques maximales pesadas de tamaño máximo especificado.">EleccionClique</a>&amp; eleccionClique);</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <a class="code" href="classDesigualdad.html">Desigualdad</a>* desigualdadCliqueViolada(<a class="code" href="classVertexSet.html">VertexSet</a>&amp; clique);</div>
<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <a class="code" href="classDesigualdad.html">Desigualdad</a>* buscarCliqueViolada(<a class="code" href="classDoubleValueArray.html">DoubleValueArray</a> &amp;solucion);</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordtype">void</span> liftear(<a class="code" href="classProyeccion.html">Proyeccion</a>* proyectada, <a class="code" href="classDesigualdad.html">Desigualdad</a>* dv);</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;<span class="keyword">protected</span>:</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classDesigualdad.html">Desigualdad</a> * newDesigualdad() = 0;</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keyword">virtual</span> <a class="code" href="classDesigualdad.html">Desigualdad</a> * newDesigualdad(<span class="keyword">const</span> <a class="code" href="classDesigualdad.html">Desigualdad</a>&amp; otra) = 0;</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <a class="code" href="classSeparator.html" title="Clase que envolucra métodos usados para separar una solución no válida del problema de conjunto indep...">Separator</a>(<a class="code" href="classGrafo.html">Grafo</a> &amp;grafo, <a class="code" href="structSeparatorParameters.html">SeparatorParameters</a> &amp;parametros);</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keyword">virtual</span> ~<a class="code" href="classSeparator.html" title="Clase que envolucra métodos usados para separar una solución no válida del problema de conjunto indep...">Separator</a>();</div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keyword">virtual</span> list&lt;Desigualdad*&gt;&amp; separar(<a class="code" href="classDoubleValueArray.html">DoubleValueArray</a> &amp;solucion);</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;};</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* SEPARATOR_H_ */</span><span class="preprocessor"></span></div>
</div><!-- fragment --></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Sat Apr 12 2014 10:53:26 for Clique Projection by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.1.1
</small></address>
</body>
</html>
